Armstrong axiomatic Arms-trong

[网络] 公理系统